On supersimplicity and lovely pairs of cats
نویسنده
چکیده
We prove that the definition of supersimplicity in metric structures from [Ben05b] is equivalent to an a priori stronger variant. This stronger variant is then used to prove that if T is a supersimple Hausdorff cat then so is its theory of lovely pairs.
منابع مشابه
Lovely Pairs and Dense Pairs of O-minimal Structures
We study the theory of Lovely pairs of þ-rank one theories, in particular O-minimal theories. We show that the class of א0-saturated dense pairs of O-minimal structures studied by van den Dries [6] agrees with the corresponding class of lovely pairs. We also prove that the theory of lovely pairs of O-minimal structures is super-rosy of rank ≤ ω.
متن کاملLovely Pairs for Independence Relations
In the literature there are two different notions of lovely pairs of a theory T, according to whether T is simple or geometric. We introduce a notion of lovely pairs for an independence relation, which generalizes both the simple and the geometric case, and show how the main theorems for those two cases extend to our general notion.
متن کاملOn lovely pairs of geometric structures
We study the theory of lovely pairs of geometric structures, in particular o-minimal structures. We characterize linear" theories in terms of properties of the corresponding theory of the lovely pair. For o-minimal theories, we use Peterzil-Starchenko's trichotomy theorem to characterize for su ciently general points, the local geometry around it in terms of the thorn U rank of its type.
متن کاملLovely pairs of models
We introduce the notion of a lovely pair of models of a simple theory T , generalizing Poizat’s “belles paires” of models of a stable theory and the third author’s “generic pairs” of models of an SU -rank 1 theory. We characterise when a saturated model of the theory TP of lovely pairs is a lovely pair (that is when the notion of a lovely pair is “axiomatizable”), finding an analogue of the non...
متن کاملLovely pairs of models: the non first order case
We prove that for every simple theory T (or even simple thick compact abstract theory) there is a (unique) compact abstract theory T P whose saturated models are the lovely pairs of T . Independence-theoretic results that were proved in [BPV03] when T P is a first order theory are proved for the general case: in particular T P is simple and we characterise independence.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 71 شماره
صفحات -
تاریخ انتشار 2006